Issue1145b.agda:7,11-11
Issue1145b.agda:7,11: Parse error
:<ERROR>
 Set          -- Bad, should f...
